Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language
نویسندگان
چکیده
In this paper, we suggest a formal framework as a basis for a generic combination of formal languages. It makes it possible the developer to specify the dynamic part of a system with a process algebra, and the static part with an algebraic specification language. The framework is based on a formal kernel composed of an abstract grammar describing the general form of the combination, and a global operational semantics giving the meaning of each language which can be built with our framework.
منابع مشابه
Coinduction for preordered algebra
We develop a combination, called hidden preordered algebra, between preordered algebra, which is an algebraic framework supporting specification and reasoning about transitions, and hidden algebra, which is the algebraic framework for behavioural specification. This combination arises naturally within the heterogeneous framework of the modern formal specification language CafeOBJ. The novel spe...
متن کاملA Method to Combine any Process Algebra with an Algebraic Specification Language: the -Calculus Example
We introduce in [10] the formal foundations to make a generic combination of one process algebra and one algebraic specification language possible. Furthermore, to strengthen the contribution of this work, a concrete illustration about an orders invoicing case study is detailed in [9]. In this paper, we especially focus on the addition of other languages; indeed in the initial work, we only con...
متن کاملA Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example
We introduce in [14] the formal foundations to make a generic combination of one process algebra and one algebraic specification language possible. Furthermore, to strengthen the contribution of this work, a concrete illustration about an orders invoicing case study is detailed in [13]. In this paper, we especially focus on the addition of other languages; indeed in the initial work, we only co...
متن کاملMIAOw: a Method to Integrate a Process Algebra with Formal Data
In this report, we advocate a well-defined method to build the formal foundations underlying the design of a formal language combining a process algebra with a data specification formalism. Our approach is flexible in so far as several languages are possibly involved in the integrated result even though a combination is only restricted to two languages. The different steps of our method are pre...
متن کاملA Formalism Combining CCS and CASL
Multiformalism specifications are essential for the modelization of complex systems including different aspects:data, concurrency, communication, time, etc. We propose a formalism which combines the process algebra CCSwith the recent language of algebraic specifications CASL. This combination is presented following three levels:the conceptual choices, the formal syntax, and the form...
متن کامل